Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·9h·
Discuss: Hacker News
⚡Hardware Transactional Memory
The Limits of NTP Accuracy on Linux
scottstuff.net·9h·
Discuss: Lobsters, Hacker News
🎯Emulator Accuracy
How to Benchmark Classical Machine Learning Workloads on Google Cloud
towardsdatascience.com·2h
⚡Performance Mythology
New Keeb
theworksofegan.net·1h
⌨️Mechanical Keyboards
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·23h
🧪Binary Fuzzing
Back to the 90s on Real Hardware
hackaday.com·2d
🕹️Retro Gaming
How I Approach Performance Investigations – By Rico Mariani
ricomariani.medium.com·1d·
Discuss: Hacker News
🎯Performance Forensics
This is an excellent patch review by an expert, i.e., Thomas :) And it should be like this. Oh, a few days back I saw one from Greg too, a similar kind.... in t...
lore.kernel.org·16h·
Discuss: r/linux
🔌Operating system internals
RTL generation for custom CPU Mrav
popovicu.com·2d
⚙️Modern Assembly
Reverse Engineered Raspberry Pi Compute Module 5
github.com·1d·
Discuss: Hacker News
🔌Single Board PC
Don't Repeat Yourself, Coarse-Grained Circuit Deduplication to Accelerate Sim
danglingpointers.substack.com·3d·
Discuss: Substack
🖥️Game Emulation
The Framework Desktop and Linux have shown me the path to PC gaming in the living room
theverge.com·1d
🔌Operating system internals
Go’s unsafe: Unlocking Performance Hacks with a Risk
dev.to·7h·
Discuss: DEV
🔒Type Safety
Quality Precision
lesswrong.com·5h·
Discuss: Hacker News
✅FLAC Verification
ColecoVision: The Shooting Gallery Platform Layer
bumbershootsoft.wordpress.com·2d
🎮Gameboy Emulation
Stable, Mutable References for Ante
antelang.org·9h·
Discuss: Hacker News, r/programming
🔒Type Safety
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·8h·
Discuss: Hacker News
✅Format Verification
What writing a failed rock-paper-scissors program taught me (or should have taught me) about sample size and uncertainty
statmodeling.stat.columbia.edu·9h
🧮Kolmogorov Bounds
86Box 5.0
86box.net·1d·
Discuss: Hacker News
🕸️WASM Archives
Starting with known good components
rubenerd.com·23h
⚡Circuit Archaeology